Precise Null Pointer Analysis Through Global Value Numbering

Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability of the analysis. This paper focusses on improving the precision of standard context and flow insensitive alias analysis algorithms at a low scalability cost. In particular, we present a semantics-preserving program transformation that drastically improves the precision of existing analyses when deciding if a pointer can alias NULL. Our program transformation is based on Global Value Numbering, a scheme inspired from compiler optimizations literature. It allows even a flow-insensitive analysis to make use of branch conditions such as checking if a pointer is NULL and gain precision. We perform experiments on real-world code to measure the overhead in performing the transformation and the improvement in the precision of the analysis. We show that the precision improves from 86.56% to 98.05%, while the overhead is insignificant.Comment: 17 pages, 1 section in Appendi

Understood at Last?: A Memetic Analysis of Beethoven’s ‘Bloody Fist’

As a singular moment in the western canon, the opening of the recapitulation in the first movement of Beethoven’s Ninth Symphony has prompted a variety of structural and expressive readings. This paper explores its intertextual connections with Mozart’s Don Giovanni from a memetic perspective, outlining certain extra musical interpretations, including some related to Susan McClary’s controversial reading of the passage, one might infer from the strong musical connections

Cognitive loading affects motor awareness and movement kinematics but not locomotor trajectories during goal-directed walking in a virtual reality environment.

The primary purpose of this study was to investigate the effects of cognitive loading on movement kinematics and trajectory formation during goal-directed walking in a virtual reality (VR) environment. The secondary objective was to measure how participants corrected their trajectories for perturbed feedback and how participants' awareness of such perturbations changed under cognitive loading. We asked 14 healthy young adults to walk towards four different target locations in a VR environment while their movements were tracked and played back in real-time on a large projection screen. In 75% of all trials we introduced angular deviations of ±5° to ±30° between the veridical walking trajectory and the visual feedback. Participants performed a second experimental block under cognitive load (serial-7 subtraction, counter-balanced across participants). We measured walking kinematics (joint-angles, velocity profiles) and motor performance (end-point-compensation, trajectory-deviations). Motor awareness was determined by asking participants to rate the veracity of the feedback after every trial. In-line with previous findings in natural settings, participants displayed stereotypical walking trajectories in a VR environment. Our results extend these findings as they demonstrate that taxing cognitive resources did not affect trajectory formation and deviations although it interfered with the participants' movement kinematics, in particular walking velocity. Additionally, we report that motor awareness was selectively impaired by the secondary task in trials with high perceptual uncertainty. Compared with data on eye and arm movements our findings lend support to the hypothesis that the central nervous system (CNS) uses common mechanisms to govern goal-directed movements, including locomotion. We discuss our results with respect to the use of VR methods in gait control and rehabilitation

Rapid Molecular Assays for Specific Detection and Quantitation of Loa loa Microfilaremia

Loa loa is a filarial nematode that infects over 10 million people in Africa. Most infections cause no symptoms, but individuals with large numbers of blood-stage microfilariae are at risk for fatal reactions to ivermectin, an antiparasitic agent used to treat and prevent infections with Onchocerca volvulus, a related filarial parasite that may occur alongside L. loa. To address the urgent need for a point-of-care L. loa diagnostic assay, we screened a Loa microfilaria gene expression library and identified 18 Loa-specific DNA targets. From two targets, we developed a novel, rapid quantitative PCR assay for estimating L. loa microfilaria burden. The assay is highly sensitive (detects a single microfilaria in 20 µL of blood) and correlates well with microfilaria counts obtained with conventional microscopic techniques. The assay is species-specific for L. loa compared with related filarial parasites (including O. volvulus) and can be used in its current form in resource-rich areas as a diagnostic tool for L. loa infection. Although modifications will be required to make point-of-care use feasible, our assay provides a proof of concept for a potentially valuable tool to identify individuals at risk for adverse reactions to ivermectin and to facilitate the implementation of filarial control programs

Consensus on gut feelings in general practice

Contains fulltext : 81134.pdf (publisher's version ) (Open Access)BACKGROUND: General practitioners sometimes base clinical decisions on gut feelings alone, even though there is little evidence of their diagnostic and prognostic value in daily practice. Research to validate the determinants and to assess the test properties of gut feelings requires precise and valid descriptions of gut feelings in general practice which can be used as a reliable measuring instrument. Research question: Can we obtain consensus on descriptions of two types of gut feelings: a sense of alarm and a sense of reassurance? METHODS: Qualitative research including a Delphi consensus procedure with a heterogeneous sample of 27 Dutch and Belgian GPs or ex-GPs involved in academic educational or research programmes. RESULTS: After four rounds, we found 70% or greater agreement on seven of the eleven proposed statements. A "sense of alarm" is defined as an uneasy feeling perceived by a GP as he/she is concerned about a possible adverse outcome, even though specific indications are lacking: There's something wrong here. This activates the diagnostic process by stimulating the GP to formulate and weigh up working hypotheses that might involve a serious outcome. A "sense of alarm" means that, if possible, the GP needs to initiate specific management to prevent serious health problems. A "sense of reassurance" is defined as a secure feeling perceived by a GP about the further management and course of a patient's problem, even though the doctor may not be certain about the diagnosis: Everything fits in. CONCLUSION: The sense of alarm and the sense of reassurance are well-defined concepts. These descriptions enable us to operationalise the concept of gut feelings in further research

Robotic Wireless Sensor Networks

In this chapter, we present a literature survey of an emerging, cutting-edge, and multi-disciplinary field of research at the intersection of Robotics and Wireless Sensor Networks (WSN) which we refer to as Robotic Wireless Sensor Networks (RWSN). We define a RWSN as an autonomous networked multi-robot system that aims to achieve certain sensing goals while meeting and maintaining certain communication performance requirements, through cooperative control, learning and adaptation. While both of the component areas, i.e., Robotics and WSN, are very well-known and well-explored, there exist a whole set of new opportunities and research directions at the intersection of these two fields which are relatively or even completely unexplored. One such example would be the use of a set of robotic routers to set up a temporary communication path between a sender and a receiver that uses the controlled mobility to the advantage of packet routing. We find that there exist only a limited number of articles to be directly categorized as RWSN related works whereas there exist a range of articles in the robotics and the WSN literature that are also relevant to this new field of research. To connect the dots, we first identify the core problems and research trends related to RWSN such as connectivity, localization, routing, and robust flow of information. Next, we classify the existing research on RWSN as well as the relevant state-of-the-arts from robotics and WSN community according to the problems and trends identified in the first step. Lastly, we analyze what is missing in the existing literature, and identify topics that require more research attention in the future

Quantifying serum antibody in bird fanciers' hypersensitivity pneumonitis

BACKGROUND: Detecting serum antibody against inhaled antigens is an important diagnostic adjunct for hypersensitivity pneumonitis (HP). We sought to validate a quantitative fluorimetric assay testing serum from bird fanciers. METHODS: Antibody activity was assessed in bird fanciers and control subjects using various avian antigens and serological methods, and the titer was compared with symptoms of HP. RESULTS: IgG antibody against pigeon serum antigens, quantified by fluorimetry, provided a good discriminator of disease. Levels below 10 mg/L were insignificant, and increasing titers were associated with disease. The assay was unaffected by total IgG, autoantibodies and antibody to dietary hen's egg antigens. Antigens from pigeon serum seem sufficient to recognize immune sensitivity to most common pet avian species. Decreasing antibody titers confirmed antigen avoidance. CONCLUSION: Increasing antibody titer reflected the likelihood of HP, and decreasing titers confirmed antigen avoidance. Quantifying antibody was rapid and the increased sensitivity will improve the rate of false-negative reporting and obviate the need for invasive diagnostic procedures. Automated fluorimetry provides a method for the international standardization of HP serology thereby improving quality control and improving its suitability as a diagnostic adjunct

Seasonal forecasts of North Atlantic tropical cyclone activity in the North American Multi-Model Ensemble

The North American Multi-Model Ensemble (NMME)-Phase II models are evaluated in terms of their retrospective seasonal forecast skill of the North Atlantic (NA) tropical cyclone (TC) activity, with a focus on TC frequency. The TC identification and tracking algorithm is modified to accommodate model data at daily resolution. It is also applied to three reanalysis products at the spatial and temporal resolution of the NMME-Phase II ensemble to allow for a more objective estimation of forecast skill. When used with the reanalysis data, the TC tracking generates realistic climatological distributions of the NA TC formation and tracks, and represents the interannual variability of the NA TC frequency quite well. Forecasts with the multi-model ensemble (MME) when initialized in April and later tend to have skill in predicting the NA seasonal TC counts (and TC days). At longer leads, the skill is low or marginal, although one of the models produces skillful forecasts when initialized as early as January and February. At short lead times, while demonstrating the highest skill levels the MME also tends to significantly outperform the individual models and attain skill comparable to the reanalysis. In addition, the short-lead MME forecasts are quite reliable. At regional scales, the skill is rather limited and mostly present in the western tropical NA and the Caribbean Sea. It is found that the overall MME forecast skill is limited by poor representation of the low-frequency variability in the predicted TC frequency, and large fluctuations in skill on decadal time scales. Addressing these deficiencies is thought to increase the value of the NMME ensemble in providing operational guidance

Chronic non-specific low back pain - sub-groups or a single mechanism?

Copyright 2008 Wand and O'Connell; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: Low back pain is a substantial health problem and has subsequently attracted a considerable amount of research. Clinical trials evaluating the efficacy of a variety of interventions for chronic non-specific low back pain indicate limited effectiveness for most commonly applied interventions and approaches. Discussion: Many clinicians challenge the results of clinical trials as they feel that this lack of effectiveness is at odds with their clinical experience of managing patients with back pain. A common explanation for this discrepancy is the perceived heterogeneity of patients with chronic non-specific low back pain. It is felt that the effects of treatment may be diluted by the application of a single intervention to a complex, heterogeneous group with diverse treatment needs. This argument presupposes that current treatment is effective when applied to the correct patient. An alternative perspective is that the clinical trials are correct and current treatments have limited efficacy. Preoccupation with sub-grouping may stifle engagement with this view and it is important that the sub-grouping paradigm is closely examined. This paper argues that there are numerous problems with the sub-grouping approach and that it may not be an important reason for the disappointing results of clinical trials. We propose instead that current treatment may be ineffective because it has been misdirected. Recent evidence that demonstrates changes within the brain in chronic low back pain sufferers raises the possibility that persistent back pain may be a problem of cortical reorganisation and degeneration. This perspective offers interesting insights into the chronic low back pain experience and suggests alternative models of intervention. Summary: The disappointing results of clinical research are commonly explained by the failure of researchers to adequately attend to sub-grouping of the chronic non-specific low back pain population. Alternatively, current approaches may be ineffective and clinicians and researchers may need to radically rethink the nature of the problem and how it should best be managed